Section: New Results
Highlights of the Year
Dale Miller's 1994 LICS paper titled “A Multiple-Conclusion Meta-Logic” [67] was a co-recipient of the LICS Test of Time Award.
Dale Miller's 1994 LICS paper titled “A Multiple-Conclusion Meta-Logic” [67] was a co-recipient of the LICS Test of Time Award.